# Extensions to Java classes
